Stéphanie Orace, Variation, modulation, transfert. Autour du personnage simonien

Combinatoire autour du groupe symétrique

Géométrie Projective : autour du programme de l’agrégation

Les sections du texte suivant détaillent les points du programme. Il y a aussi une section sur la liaison affine-projectif (qui est sous-jacente quand on parle d’éléments à l’infini) et une section sur la dualité projective, qui apporte un éclairage intéressant sur la dualité pour les espaces vectoriels. Par contre, on ne dit rien des quadriques projectives (on peut voir à ce sujet [Sam] chap. ...

Modélisation du transfert de charge dans les piles à combustible

Autour du pair-à-pair : distribution de contenus, réseaux à préférences acycliques

Peer-to-peer (P2P) recently emerged as a new paradigm in computer science. Due to majoreconomic and social stakes, mostly related to content distribution, P2P has brought back to theforefront many existing research elds related to distributed systems, providing new incentivesand goals.In this work, we give some keys to the understanding of the research elds related to P2Psys...

Stéphanie Delaune

We propose a symbolic semantics for the finite applied pi calculus.The applied pi calculus is a variant of the pi calculus with extensions formodelling cryptographic protocols. By treating inputs symbolically, oursemantics avoids potentially infinite branching of execution trees due toinputs from the environment. Correctness is maintained by associatingwith each process a se...